Rewriting with Constraints in T-Ruby
نویسندگان
چکیده
This paper describes a tool for use in user-directed synthesis of circuits speciied using the relational VLSI description language Ruby. The synthesis method is based on syntactic rewriting of Ruby terms, combined with the introduction of constraints into the speciica-tion. The rewriting process is described in a metalanguage based on the use of tactics and tacticals, which makes it possible to develop complex specialised strategies for the reenement of speciications.
منابع مشابه
Transformational Rewriting with Ruby
This paper describes a tool for use in user-directed synthesis of circuits speciied using the relational VLSI description language Ruby. The synthesis method is based on transformational rewriting of Ruby terms in accordance with previously deened term equivalences. The tool permits the introduction of constraints into the speciication, thus enhancing the usefulness of the rewrite system in rel...
متن کاملUsing a Language of Functions and Relations
This paper describes the T-Ruby language for specifying VLSI circuits in terms of relational abstractions of their behaviour. The language is based on a typed lambda calculus with a type system closely related to that of Edinburgh LF. Terms in the language may have simple, non-parameterised types or types which are constructed from other types, possibly together with terms. The dependent types ...
متن کاملEvaluation of the efficacy of the Q switched ruby laser in the treatment of benign pigmented skin lesions
Background and aim: It is possible to use light sources suxh as lasers to destruct melanosomes and treat pigmented skin lesions. One of the most commonly used laser systems is Q switched ruby laser with a wave-length of 694 nm. This study was performed to evaluate the efficacy of the Q switched ruby laser in the treatment of pigmented skin lesions including lentigines (simplex or solar) and caf...
متن کاملTractable query answering and rewriting under description logic constraints
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and metadata management in the semantic Web. Description Logics (DLs) are constraint languages that have been extensively studied with the goal of providing useful modeling constructs while keeping the query answering prob...
متن کاملChase Termination: A Constraints Rewriting Approach
Several database areas such as data exchange and integra-tion share the problem of fixing database instance viola-tions with respect to a set of constraints. The chase al-gorithm solves such violations by inserting tuples and set-ting the value of nulls. Unfortunately, the chase algorithmmay not terminate and the problem of deciding whether thechase process terminates is...
متن کامل